1. A systematic catalogue of reusable abstract data types /
پدیدآورنده : Jürgen Uhl, Hans Albrecht Schmid
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abstract data types (Computer science),Computer software-- Reusability
رده :
QA76
.
9
.
A23
U37
1990
2. A systematic catalogue of reusable abstract data types
پدیدآورنده : Uhl, J. )Jurgen(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Abstract data types )Computer science(,Reusability ، Computer software
رده :
QA
76
.
9
.
A23
.
U37
1990
3. A systematic catalogue of reusable abstract data types
پدیدآورنده : Uhl, Jurgen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Abstract data types )Computer science(,، Computer software -- Reusability
رده :
QA
76
.
L28
Vol
.
460
4. Abstract compositional analysis of iterated relations :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Abstract data types (Computer science) ; System analysis. ; Electronic data processing ; Structured techniques. ;
5. Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems
پدیدآورنده : Geurts, Frederic
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Abstract data types )Computer science(,، System analysis,، Electronic data processing -- Structured techniques
رده :
QA
76
.
L28
Vol
.
1426
6. Abstract data types and Modula-2 : a worked example of design using data abstraction
پدیدآورنده : Mitchell, Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Modula 2 )Computer program language(,، Abstract data types )Computer science(
رده :
QA
76
.
73
.
M63
M58
1992
7. Abstract data types and algorithms
پدیدآورنده : Azmoodeh, Manoochehr
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Abstract data types )Computer science(,، Algorithms
رده :
QA
76
.
9
.
A23
A9
1990
8. Abstract data types in Java
پدیدآورنده : / Michael S. Jenkins
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Java (Computer program language),Abstract data types (Computer science)
رده :
QA76
.
73
.
J38
,
J45
1998
9. Abstract data types: specifications, implementations, and applications
پدیدآورنده : Dale, Nell B.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Abstract data types )Computer science(,، Data structures )Computer science(
رده :
QA
76
.
9
.
A23
.
D35
1996
10. Abstract data types: Their specification, representation, and use
پدیدآورنده : Pete Thomas, Hugh Robinson, and Judy Emms
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Abstract data types (Computer science)
رده :
QA
،
76
.
9
،.
A23
,
T46
،
1988
11. Algebraic methodology and software technolog : 6th international conference, AMAST'97 Sydney, Australia, December 13-17, 1997 : proceedings
پدیدآورنده : Michael Johnson )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1349
12. Algebraic methodology and software technology :
پدیدآورنده : AMAST '93. M. Nivat ... (ed.). Publ. in collab. with the British Computer Society
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abstract data types (Computer science) -- Congresses,Software engineering -- Congresses,Softwareentwicklung
13. Algebraic methodology and software technology
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Abstract data types (Computer science) ; Congresses. ; Abstract data types (Computer science) ; fast ; (OCoLC)fst00794745. ; Software engineering. ; fast ; (OCoLC)fst01124185. ; Algebraische Methode. ; swd. ; Softwaree
14. Algebraic methodology and software technology :
پدیدآورنده : Michael Johnson, Dusko Pavlovic (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abstract data types (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
I58
2011
15. Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings
پدیدآورنده : Armando Martin Haeberer )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1548
16. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
پدیدآورنده : Martin Wirsing, Maurice Nivat )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1101
17. Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
پدیدآورنده : Charles Rattray, Savitri Maharaj, Carron Shankland )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3116
18. Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
پدیدآورنده : Teodor Rus )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1816
19. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
پدیدآورنده : Helene Kirchner, Christophe Ringeissen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2422
20. Algebraic specification
پدیدآورنده : edited by J.A. Bergstra, J. Heering, P. Klint
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Abstract data types )Computer science(
رده :
QA
76
.
9
.
A23
A44
1989